Tohoku University

Results: 916



#Item
151

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Add to Reading List

Source URL: www.kb.ecei.tohoku.ac.jp

Language: English - Date: 2006-05-29 01:35:05
    152

    Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita, Takeshi Tsukada, and Naoki Kobayashi Tohoku University, Japan Abstract. We propose a novel control flow analysis for higher-order

    Add to Reading List

    Source URL: www-kb.is.s.u-tokyo.ac.jp

    Language: English - Date: 2012-04-23 23:58:15
      153

      Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi and Takashi Suto Tohoku University {koba,tsuto}@kb.ecei.tohoku.ac.jp

      Add to Reading List

      Source URL: www-kb.is.s.u-tokyo.ac.jp

      Language: English - Date: 2007-04-23 04:50:13
        154

        Applicative Bidirectional Programming with Lenses Kazutaka Matsuda Meng Wang Tohoku University

        Add to Reading List

        Source URL: www2.sf.ecei.tohoku.ac.jp

        Language: English - Date: 2015-06-19 07:46:48
          155

          A Generic Type System for the Pi-Calculus∗ Atsushi Igarashi Kyoto University email: Naoki Kobayashi

          Add to Reading List

          Source URL: www.kb.ecei.tohoku.ac.jp

          Language: English - Date: 2009-04-19 21:32:45
            156

            A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

            Add to Reading List

            Source URL: www-kb.is.s.u-tokyo.ac.jp

            Language: English - Date: 2011-07-20 20:51:23
              157

              Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi Takashi Suto {koba,tsuto}@kb.ecei.tohoku.ac.jp Tohoku University

              Add to Reading List

              Source URL: www.kb.ecei.tohoku.ac.jp

              Language: English - Date: 2007-04-23 05:55:35
                158

                Kota Yamaguchi Assistant Professor at Tohoku University Graduate School of Information SciencesAramaki-aza Aoba, Sendai, Japan

                Add to Reading List

                Source URL: vision.is.tohoku.ac.jp

                Language: English - Date: 2015-08-30 07:34:39
                  159

                  Inference of Tree Data Structure Invariant based on Language Identification from Samples Naoshi Tabuchi, Naoki Kobayashi, and Hiroshi Unno Tohoku University Abstract. We propose a method to infer invariants of tree data

                  Add to Reading List

                  Source URL: www.cs.tsukuba.ac.jp

                  Language: English - Date: 2012-07-19 00:04:48
                    160

                    International Symposium on Analysis and Control of Molecular Quantum Processes 12 July 2005, TAGEN Scientific Measurements Bldg (N-Bldg) Seminar Room, TAGEN, Tohoku University, Sendai, Japan - hosted by TAGEN, T

                    Add to Reading List

                    Source URL: surface.phys.tohoku.ac.jp

                    Language: English - Date: 2008-03-16 11:00:00
                      UPDATE